Nuprl Definition : ecl
0,22
postcript
pdf
ecl(
ds
;
da
) == rec(
X
.
k
:Knd
(State(
ds
)
Valtype(
da
;
k
)
)+
X
X
+
X
X
+
X
X
+
X
+
X
+
X
+
X
(
List))
latex
Definitions
rec(
x
.
A
(
x
))
,
Knd
,
State(
ds
)
,
x
:
A
B
(
x
)
,
Valtype(
da
;
k
)
,
,
left
+
right
,
x
:
A
B
(
x
)
,
type
List
,
FDL editor aliases
ecl
origin
(State(ds)
Valtype(da;k)
)+XX+XX+XX+X+X
+X+X( List)) (State(ds)Valtype(da;k))+XX+XX+XX+X+X+X+X( List)) B(x)B(x)